domain of variables

变量范围变数范畴